theorem-proving machine
[计] 定理证明机
热门查询
- undefiled adj. 洁净的，洁白的；纯粹的
- proximate adj. 近似的；最近的
- stolidly adv. 神经麻木地；冷淡地
- inspector n. 检查员；巡视员
- tetrachloride n. 四氯化物
- pluralist n. 兼职者；多元论者；兼管数个教堂者
- pirated adj. 盗版的 v. 盗印，翻印；掠夺（pirate的过去分词）
- uncommercial adj. 不从事商业的; 与商业无关的; 非商业性的; 非赢利的
- hydrodynamic adj. 水力的；流体动力学的
- misuse vt. 滥用；误用；虐待 n. 滥用；误用；虐待
- willy n. 阴茎；阳物；柳树（等于willow） n. (Willy)人名；(英)威利；(法、德、罗、丹、葡、西)维利
- jobber n. 批发商；股票经纪人；临时工
- grow vi. 发展；生长；渐渐变得… vt. 使生长；种植；扩展 n. (Grow)人名；(英)格罗
- muncher 大声咀嚼
- warplane n. 军用飞机，战斗机
- antihistamine n. 抗组胺剂
- glazy a. 玻璃似的, 上过釉的, (目光)无神的
- viewer n. 观察者；观看者；观众；[仪] 指示器
- lolly n. 棒棒糖；钱
- procedure n. 程序，手续；步骤
考试词汇表
- sequential enzyme
- sequential firing
- sequential hazard
- sequential images
- sequential lobing
- sequential manner
- sequential memory
- sequential method
- sequential module
- sequential number
- sequential option
- sequential points
- sequential raster
- sequential recall
- sequential record
- sequential sample
- sequential scheme
- sequential search
- sequential signal
- sequential system
